On the almighty wand

On the Almighty Wand

We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify properties about the memory heap of programs with singly-linked lists. Separation logic with two record fields is known to be undecidable by reduction of finite satisfiability for classical predicate logic with one bina...

MDA5: the almighty for Myocardium.

survey on the rule of the due & hindering relying on the sheikh ansaris ideas

قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...

Almighty Twitter, What Are People Asking for?

With the advance of modern technology, social networking sites, such as Twitter, are becoming increasingly important information sources for people to find answers to their questions. Given such trend, in this project, we report results from our analysis of 10,000 English-written question tweets with expectations of helpful answers (which we call “information seeking tweets” in the following pa...

on the effects of pictorial clues on the efl learners listening comprehension development

the following null hypothesis was proposed: there is no significant difference between the efl students listening comprehension development receiving pictorial cues and those receiving no cuse. to test the null hypothesis, 52 male and femal freshmen students of medicine studing at iran university of medical scinces were randomly selected from a total population of 72 students. to ensure that th...